Investigating Z
نویسندگان
چکیده
منابع مشابه
Investigating Z
In this paper we introduce and investigate an improved kernel logic Z C for the speciication language Z. Unlike the standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete schema calculus can be derived within this logic and in doing so we reveal a high degree of logical organisation within the language. Finally, our approach eschews all non-standard ...
متن کاملInvestigating Z : the Schema Calculus
In this paper we introduce and investigate an improved kernel logic ZC for the specii-cation language Z. Unlike the standard accounts 8] 4] 1] 3] this logic is consistent and is easily shown to be sound. We show how a complete schema calculus can be derived within this logic and in doing so we reveal a high degree of logical organisation within the language. Finally, our approach eschews all no...
متن کاملInvestigating GCD In Z [ √ 2 ]
We attempt to optimize the time needed to calculate greatest common divisors in the Euclidean domain Z[ √ 2].
متن کاملInhibition of pyruvate decarboxylase from Z. mobilis by novel analogues of thiamine pyrophosphate: investigating pyrophosphate mimics.
Replacement of the thiazolium ring of thiamine pyrophosphate with a triazole gives extremely potent inhibitors of pyruvate decarboxylase from Z. mobilis, with K(I) values down to 20 pM; this system was used to explore pyrophosphate mimics and several effective analogues were discovered.
متن کاملInvestigating the Metal Line Systems at Z=1.9 toward J2233−606 in the Hdf-s
The combination of STIS and optical spectroscopy with STIS imaging of the field surrounding J2233−606 afford a unique opportunity to study the physical nature of the Quasar Absorption Line systems. We present an analysis of the ionization state, chemical abundances, and kinematic characteristics of two metal-line systems at z = 1.92 and z = 1.94 toward J2233−606. We focus on these two systems b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2000
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/10.1.43